Floating point

Results: 1574



#Item
141

MPFR The Multiple Precision Floating-Point Reliable Library 高品質多倍長浮動小数点ライブラリ EditionNovember 2004

Add to Reading List

Source URL: na-inet.jp

Language: Japanese - Date: 2014-05-04 08:55:52
    142Computer architecture / Computing / Software / Power Architecture / X86 instructions / Parallel computing / Atan2 / SIMD / AltiVec / Cell / Atan / SSE2

    Universal SIMD-Mathlibrary Helmut Dersch Furtwangen University of Applied Sciences August 20, 2008 Abstract Standard functions for single precision floating point vector datatypes

    Add to Reading List

    Source URL: webuser.fh-furtwangen.de

    Language: English - Date: 2008-08-20 03:38:58
    143Computer arithmetic / Computing / Computer architecture / IEEE floating point / Double-precision floating-point format / Long double / Extended precision / C99 / Single-precision floating-point format / SSE2 / Strictfp / Normal number

    Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan ·

    Add to Reading List

    Source URL: www.lri.fr

    Language: English - Date: 2014-12-04 07:10:42
    144

    WG14 N2002 Meeting notes C Floating Point Study Group Teleconference AM PST / 12 PM EST

    Add to Reading List

    Source URL: www.open-std.org

    Language: English - Date: 2016-03-09 10:49:05
      145Computer arithmetic / GNU MPFR / Rounding / Paul Zimmermann / GNU Multiple Precision Arithmetic Library / SageMath / Extended precision / Floating point / Interval arithmetic / GNU Compiler Collection / Precision / IEEE floating point

      Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A,

      Add to Reading List

      Source URL: www.loria.fr

      Language: English
      146

      WG14 N1993 C Floating Point Study Group Teleconference January 12, AM PST / 12 PM EST Conference ID:

      Add to Reading List

      Source URL: www.open-std.org

      Language: English - Date: 2016-01-06 16:44:41
        147

        WG14 N1999 C Floating Point Study Group Teleconference February 16, AM PST / 12 PM EST Conference ID:

        Add to Reading List

        Source URL: www.open-std.org

        Language: English - Date: 2016-02-08 12:29:38
          148

          Floating-point numbers Version Laurent Bartholdi

          Add to Reading List

          Source URL: www.gap-system.org

          Language: English - Date: 2016-06-10 09:36:56
            149Computer arithmetic / Numerical analysis / Arithmetic / Floating point / Arithmetic underflow / Rounding / Interval arithmetic / Precision / Round-off error / Significant figures

            Introduction Bounds Rounding Errors Conclusion De l’arithm´etique d’intervalles `a la certification de programmes Guillaume Melquiond Sous la direction de Marc Daumas

            Add to Reading List

            Source URL: www.lri.fr

            Language: English - Date: 2009-04-03 13:56:10
            150Computer arithmetic / GNU MPFR / Interval arithmetic / Floating point / Rounding / GNU Multiple Precision Arithmetic Library / Precision / Machine epsilon / Arbitrary-precision arithmetic / IEEE floating point / Significant figures / Interval

            Motivations for an arbitrary precision interval arithmetic and the MPFI library N. Revol ()∗ ´ INRIA, Project Arenaire, LIP (CNRS/ENSL/INRIA/UCBL), Ecole Normale

            Add to Reading List

            Source URL: perso.ens-lyon.fr

            Language: English - Date: 2005-01-20 08:54:54
            UPDATE